第7章 同値関係で割って整数を作る